Nuprl Definition : interface-inl
11,40
postcript
pdf
interface-inl(
X
) ==
f
,
s
.
x
.inl inl
x
o
f
(
s
) o
X
latex
Definitions
g
o
f
,
f
o
g
,
x
.
A
(
x
)
,
inl
x
,
f
(
a
)
FDL editor aliases
interface-inl
origin
f,s. x.inl inl x o f(s) o X f,s. x.inl inl x o f(s) o X x.A(x)